Evaluating the Effect of Formal Techniques in Industry
نویسندگان
چکیده
In this paper we evaluate the effectiveness of applying a formal component-based approach called Analytical Software Design (ASD) to the development of control software of an industrial project at Philips Healthcare. We analyze the performance of the ASD related tasks carried out during the development processes and report about the main issues encountered. Furthermore, we investigate whether introducing these formal techniques to industry could actually improve the quality and the productivity of the developed code compared to software developed by more traditional development methods.
منابع مشابه
Utilization of Soft Computing for Evaluating the Performance of Stone Sawing Machines, Iranian Quarries
The escalating construction industry has led to a drastic increase in the dimension stone demand in the construction, mining and industry sectors. Assessment and investigation of mining projects and stone processing plants such as sawing machines is necessary to manage and respond to the sawing performance; hence, the soft computing techniques were considered as a challenging task due to stocha...
متن کاملOptimization of reaction conditions and effect of catalyst type on product distribution in Cyclooctene oxidation
Oxidation of cyclooctene was studied in presence aqueous hydrogen peroxide (30%, v/v) over nano iron oxide. The catalyst prepared by microemulsion method and characterized using various techniques including XRD, TEM and BET techniques for evaluating phase, structure and morphology and surface area. In this study, we investigated the effects of varying the catalyst content, reaction temperature,...
متن کاملEvaluating Different Approaches to Permeability Prediction in a Carbonate Reservoir
Permeability can be directly measured using cores taken from the reservoir in the laboratory. Due to high cost associated with coring, cores are available in a limited number of wells in a field. Many empirical models, statistical methods, and intelligent techniques were suggested to predict permeability in un-cored wells from easy-to-obtain and frequent data such as wireline logs. The main obj...
متن کاملExperimental and Simulation - Assisted Feasibility Study of Gas Injection to Increase Oil Recovery Using a Combination of Semi-VAPEX and GAGD Techniques
Gas injection into heavy oil reservoirs could result in high ultimate recovery of oil. Experimental studies showed that an application of a combined technology of Gas Assisted Gravity Drainage (GAGD) and Vapor Extraction (VAPEX) could increase final oil recovery of a candidate viscous oil reservoir. In this paper the results of laboratory investigation are presented, including Pressure-Volu...
متن کاملTechnology transfer strategy in the upstream oil industry (oil fields development) of the Islamic Republic of Iran has provided the effectiveness of technology transfer model
The aim of this research is the determining strategy of technology transfer in the upstream oil industry (oil fields development) of the Islamic Republic of Iran with the use of effective conditional models of technology transfer. In this study, the views and attitudes of 30 managers and experts familiar with the issues of technology transfer, including transfer of technology in the development...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012